翻訳と辞書
Words near each other
・ Van Wert County Courthouse
・ Van Wert County, Ohio
・ Van Wert High School
・ Van Wert, Georgia
・ Van Wert, Iowa
・ Van Wert, Ohio
・ Van Wesenbekestraat
・ Van Westendorp's Price Sensitivity Meter
・ Van Wetten v Bosch
・ Van Wezel Performing Arts Hall
・ Van Wickle Gates
・ Van Wickle House
・ Van Wieren
・ Van Wijk
・ Van Wijk (crater)
Van Wijngaarden grammar
・ Van Wijngaarden transformation
・ Van Wijngen International
・ Van Wilder
・ Van Williams
・ Van Williams (American football)
・ Van Williams (musician)
・ Van Winitsky
・ Van Winkle
・ Van Winkle House
・ Van Winkle House (Franklin Lakes, New Jersey)
・ Van Winkle's Correlation
・ Van Winkle's Mill Site
・ Van Winkle-Fox House
・ Van Woert's Regiment of Militia


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Van Wijngaarden grammar : ウィキペディア英語版
Van Wijngaarden grammar
In computer science, a Van Wijngaarden grammar (also vW-grammar or W-grammar) is a two-level grammar which provides a technique to define potentially infinite context-free grammars in a finite number of rules. The formalism was invented by Adriaan van Wijngaarden to define rigorously some syntactic restrictions which previously had to be formulated in natural language, despite their essentially syntactical content. Typical applications are the treatment of gender and number in natural language syntax and the well-definedness of identifiers in programming languages.
The technique was used and developed in the definition of the programming language ALGOL 68. It is an example of the larger class of affix grammars.
== Overview ==
A W-grammar consists of a finite set of meta-rules, which are used to derive (possibly infinitely many) production rules from a finite set of hyper-rules. Meta-rules are restricted to those defined by a context-free grammar. Hyper-rules restrict the admissible contexts at the upper level. Essentially, the ''consistent substitution'' used in the derivation process is equivalent to unification, as in Prolog, as was noted by Alain Colmerauer.
For example, the assignment x:=1 is only valid if the variable x can contain an integer. Therefore the context-free syntax variable := value is incomplete. In a two-level grammar, this might be specified in a context-sensitive manner as REF TYPE variable := TYPE value. Then ref integer variable := integer value could be a production rule but ref Boolean variable := integer value is not a possible production rule. This also means that assigning with incompatible types becomes a syntax error which can be caught at compile-time. Similarly,

STYLE begin token, new LAYER1 preludes,
parallel token, new LAYER1 tasks PACK,
STYLE end token

allows begin ... end and but not begin ... }.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Van Wijngaarden grammar」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.